<?php session_start(); ?>
<!DOCTYPE html>
<html lang="en">

<head>
  <meta charset="UTF-8">
  <meta name="viewport" content="width=device-width, initial-scale=1.0">
  <title>Document</title>
</head>

<body>
  <?php
  include  'headerNav.html';
  ?>
  <img src="Images/main.jpg" style="margin-top: 80px" />
  <br>
  <?php
    if (isset($_SESSION['stuno'])) {
      echo $_SESSION['stuno']."，欢迎访问学生信息管理系统!<a href='logout.php'>注销</a>";
    } else {
      echo "<p>欢迎访问！</p>";
    }
  ?>

  <?php
  include  'Footer.html';
  ?>

</body>

</html>